Wielki słownik angielsko-polski red. nacz D. Jemielniak, M. Miłkowski

matematyka tautologia, prawda logiczna;